e5c1d66916549c0b796d1ae17c6b8609d5338b8d,jetty-server/src/main/java/org/eclipse/jetty/server/Dispatcher.java,Dispatcher,push,#ServletRequest#,221

Before Change


                query=query+"&"+_uri.getQuery(); // TODO is this correct semantic?
        }
        
        int port=request.getServerPort();
        if (port==80 && HttpScheme.HTTP.is(request.getScheme()))
            port=0;
        if (port==443 && HttpScheme.HTTPS.is(request.getScheme()))
            port=0;
        
        HttpURI uri = new HttpURI(request.getScheme(),request.getServerName(),request.getServerPort(),_uri.getPath(),baseRequest.getHttpURI().getParam(),query,null);
        
        MetaData.Request push = new MetaData.Request(HttpMethod.GET.asString(),uri,baseRequest.getHttpVersion(),fields);
        

After Change


                query=query+"&"+_uri.getQuery(); // TODO is this correct semantic?
        }
        
        HttpURI uri = HttpURI.createHttpURI(request.getScheme(),request.getServerName(),request.getServerPort(),_uri.getPath(),baseRequest.getHttpURI().getParam(),query,null);
        
        MetaData.Request push = new MetaData.Request(HttpMethod.GET.asString(),uri,baseRequest.getHttpVersion(),fields);